Composants objets fiables : une approche pragmatique

نویسندگان

  • Daniel Deveaux
  • Régis Fleurquin
  • Patrice Frison
  • Jean-Marc Jézéquel
  • Yves Le Traon
چکیده

Software reliability and correctness remain a major problem in industry. The goal of our study is to propose a software component design framework which promote the highest formal level compatible with economic, organizational and programmer skills constraints. The support of our approach is a model of self-documented and self-testable classes, that uses design-by-contract mechanisms, object-oriented testing and embeded documentation practices. On this basis, an iterative development process is defined. A methodology is proposed to improve test and contracts quality. The proposed approach is illustrated by examples in Java and Eiffel. MOTS-CLÉS : conception par objets, composant, programmation par contrats, documentation, test.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Les Réseaux Bayésiens versus d'autres modèles probabilistes pour le diagnostic multiple de gros systèmes

Notre travail se situe dans le contexte du diagnostic multiple de systèmes fiables et de grande taille. Les systèmes que nous considérons sont constitués de composants, reliés entre eux par leurs entrées ou sorties. Un composant C est soit en bon état ok(C) soit défaillant ab(C). L’objectif du diagnostic est de trouver le ou les composants défaillants qui expliquent le mieux des observations de...

متن کامل

Extraction d'Architecture à Base de Composants d'un Système Orienté Objet

RÉSUMÉ. Disposer d’une représentation de l’architecture d’un système complexe est devenue essentiel pendant toutes les phases du cycle de vie du logiciel. Cependant pour beaucoup de systèmes, aucune représentation fiable de leurs architectures n’est disponible. Afin de palier cette absence, source de nombreuses difficultés, nous proposons, dans cet article une approche visant à extraire une arc...

متن کامل

Une approche pour la maintenance et la ré-ingénierie globale des logiciels

ion Objets structu és Objets dérivés Abstractions Objets générés Abstraction Objets structu és Objets dérivés Représentations Objets générés Abstraction Objets structu és Objets dérivés Opérations

متن کامل

Scripting Interactive Physically-Based Motions with Relative Paths and Synchronization

This paper presents a novel approach for facilitating the use of physically based models by animators. The idea is to let the user guide motion at a high level of control by giving approximate desired trajectories and synchronization constraints between the objects over time, while a simulation module computes the final motion, dealing with collision detection and response, and enhancing realis...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • L'OBJET

دوره 5  شماره 

صفحات  -

تاریخ انتشار 1999